Institute for System Programming - PDFSEARCH.IO - Document Search Engine

Institute for System Programming
Results: 57

#	Item
21	Deterministic Replay and Reverse Debugging for QEMU P. Dovgalyuk Novgorod State University Institute for System Programming of the Russian Academy of Sciences Add to Reading List Source URL: www.linux-kvm.org Language: English - Date: 2014-11-01 15:27:09 Instruction set architectures QEMU X86 architecture Debugging Virtual machine Log analysis X86-64 Heisenbug X86 System software Software Computer architecture
22	Meshing Pipeline User Guide BioMesh3D 0.1 Documentation Center for Integrative Biomedical Computing Scientific Computing & Imaging Institute University of Utah Add to Reading List Source URL: www.sci.utah.edu Language: English - Date: 2014-09-29 17:18:59 Virtual reality Mesh Pipeline Computer programming Software engineering Inter-process communication Computing Particle system
23	Static Type Systems (Sometimes) have a Positive Impact on the Usability of Undocumented Software: An Empirical Evaluation Clemens Mayer, Stefan Hanenberg University Duisburg-Essen, Institute for Computer Science and Add to Reading List Source URL: swp.dcc.uchile.cl Language: English - Date: 2012-04-18 15:25:54 Cross-platform software Type theory Data types Java platform Scripting languages Type system Ada Objective-C Type safety Computing Software engineering Computer programming
24	Specialization Tools and Techniques for Systematic Optimization of System Software DYLAN MCNAMEE, JONATHAN WALPOLE, CALTON PU, CRISPIN COWAN, CHARLES KRASIC, ASHVIN GOEL, and PERRY WAGLE Oregon Graduate Institute of Scie Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2004-09-04 03:34:36 Generic programming C++ Predicate logic Predicate Semantics Template Partial evaluation Specialization Software engineering Logic Computing
25	Earth System Modeling Framework Fei Liu, Cecelia Deluca, and the ESMF Team at NOAA/CIRES Institute of Atmospheric Physics, Beijing Jan 24, 2011 Add to Reading List Source URL: www.earthsystemmodeling.org Language: English - Date: 2011-04-19 13:02:08 ESMF Weather prediction Software architecture Scientific modeling Object-oriented programming Enterprise modelling Cooperative Institute for Research in Environmental Sciences Abstraction Software framework Atmospheric sciences Science Meteorology
26	The Earth System Modeling Framework: A high performance software solution for building and coupling model components. Seminar at the Max Planck Institute for Meteorology, Hamburg Add to Reading List Source URL: www.earthsystemmodeling.org Language: English - Date: 2012-05-08 09:08:24 Weather prediction Software architecture Application programming interfaces Object-oriented programming NetCDF Software framework Cooperative Institute for Research in Environmental Sciences Fortran Cygwin Software Computing ESMF
27	The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors by Austin T. Clements S.B., Massachusetts Institute of Technology (2006) Add to Reading List Source URL: pdos.csail.mit.edu Language: English - Date: 2015-03-27 16:16:58 Application programming interfaces Parallel computing Numerical linear algebra Project management Scalability Transaction processing Multi-core processor POSIX C dynamic memory allocation Software Computing System software
28	Rules for Type-checking of Parametric Polymorphism in EMF Generics Miguel Garcia Institute for Software Systems (STS) Hamburg University of Technology (TUHH), 21073 Hamburg, Germany [removed] Add to Reading List Source URL: www.sts.tu-harburg.de Language: English - Date: 2007-02-21 05:06:00 Polymorphism Data types Type theory Generic programming Generics in Java Subtype polymorphism Standard ML Type system Classical cipher Software engineering Computing Computer programming
29	Qualified Types for MLF Daan Leijen Andres L¨oh Institute of Information and Computing Sciences, Utrecht University Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:15 Mathematical logic Parametric polymorphism Type class System F Normal function Type inference Ordinal number Type system Kind Type theory Software engineering Programming language theory
30	Energy Inefficiency of Operating System Layers for Data-centric Infrastructures Shoaib Akram, Manolis Marazakis, and Angelos Bilas† Foundation for Research and Technology - Hellas (FORTH) Institute of Computer Science Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-04-08 02:17:07 Programming language implementation Hyper-V Solid-state drive Hypervisor Virtualization I/O virtualization Thread VM System software Software Virtual machines

UPDATE